Міністерство освіти і науки України Національний університет „ Львівська політехніка” Кафедра ІСМ Звіт Про виконання Лабораторної роботи № 2 з дисципліни: «Теорія прийняття рішень» на тему: «Дослідження властивостей та типів бінарних відношень»  Мета роботи: вивчення та практичне ознайомлення з основними властивостями бінарних відношень та їх типами. Виконання: package Theory_lab2; class Capacity { protected int size; Capacity (int x){ size = x; } Capacity (){ size = 5; } void matrix_size(int x) { size = x; } } class Relationship extends Capacity { private byte relation[][] = new byte[size][size]; private byte res[][] = new byte[size][size]; private byte res2[][] = new byte[size][size]; Relationship () { for (byte ar = 0; ar < res.length; ar++) for (byte a = 0; a < res.length; a++) relation[ar][a] = (byte)(Math.random()*2); } Relationship (byte arr[][]) { for (byte ar = 0; ar < res.length; ar++) for (byte a = 0; a < res.length; a++) relation[ar][a] = arr[ar][a]; } byte[][] get_relation (){ return relation; } void show(byte[][] arr) { for (byte[] ar : arr) { for (byte a : ar) System.out.print(a + " "); System.out.println(); } System.out.println(); } void refleksuvne(){ for (int i = 0; i < relation.length; i++) if (relation[i][i] == 0) { System.out.println("НЕ рефлексивне"); return; } System.out.println("Pефлексивне"); } boolean anturefleksuvne(){ for (int i = 0; i < relation.length; i++) if (relation[i][i] == 1){ System.out.println("НЕ антирефлексивне."); return false; } System.out.println("Антирефлексивне."); return true; } void sumetric(){ for (byte i = 0; i < res.length; i++) for (byte k = 0; k < res.length; k++) if (relation[i][k] != relation[k][i]){ System.out.println("НЕ симетричне."); return; } System.out.println("Симетричне."); } void asumetric(){ if (!anturefleksuvne()){ System.out.println("НЕ aсиметричне."); return; } for (byte i = 0; i < res.length; i++) for (byte k = 0; k < res.length; k++) if (relation[i][k] == 1 && relation[k][i] == 1){ System.out.println("НЕ асиметричне."); return; } System.out.println("Асиметричне."); } void antusumetric(){ for (byte i = 0; i < res.length; i++) for (byte k = 0; k < res.length; k++){ if (i == k) continue; if (relation[i][k] == 1 && relation[k][i] == 1) { System.out.println("НЕ антисиметричне."); return; } } System.out.println("Антисиметричне."); } void tranzituvne(){ func_composition(relation); for (byte ar = 0; ar < res.length; ar++) for (byte a = 0; a < res.length; a++) if (res[ar][a] == 1 && relation[ar][a] == 0){ System.out.println("НЕ транзитивне."); return; } System.out.println("Транзитивне."); } void func_composition (byte[][] arr){ for (byte ar = 0; ar < res.length; ar++) for (byte a = 0; a < res.length; a++) res[ar][a] = 0; for (byte ar = 0; ar < arr.length; ar++) for (byte a = 0; a < arr.length; a++) for (byte i = 0; i < arr.length; i++){ if (relation[ar][a] == 1 && arr[a][i] == 1) res[ar][i] = 1; } //show(res); } void acuklichne(){ func_composition(relation); for (byte ar = 0; ar < res.length; ar++) for (byte a = 0; a < res.length; a++) if (res[ar][a] == 1 && relation[a][ar] == 1){ System.out.println("НЕ ациклічне."); return; } System.out.println("Ациклічне."); } void zvayzne(){ if (!anturefleksuvne()){ System.out.println("НЕ зв'язне."); return; } for (byte i = 0; i < res.length; i++) for (byte k = 0; k < res.length; k++) if (relation[i][k] == 0 && relation[k][i] == 0){ System.out.println("НЕ зв'язне."); return; ...